{
DECLARE_DOM0_OP;
op.cmd = DOM0_GETPAGEFRAMEINFO;
- op.u.getpageframeinfo.mfn = mfn;
+ op.u.getpageframeinfo.gmfn = mfn;
op.u.getpageframeinfo.domain = (domid_t)dom;
if ( do_dom0_op(xc_handle, &op) < 0 )
{
case DOM0_GETPAGEFRAMEINFO:
{
struct page_info *page;
- unsigned long mfn = op->u.getpageframeinfo.mfn;
+ unsigned long mfn = op->u.getpageframeinfo.gmfn;
domid_t dom = op->u.getpageframeinfo.domain;
struct domain *d;
case DOM0_GETPAGEFRAMEINFO:
{
struct page_info *page;
- unsigned long mfn = op->u.getpageframeinfo.mfn;
+ unsigned long mfn = op->u.getpageframeinfo.gmfn;
domid_t dom = op->u.getpageframeinfo.domain;
struct domain *d;
struct dom0_getpageframeinfo {
/* IN variables. */
- xen_pfn_t mfn; /* Machine page frame number to query. */
+ xen_pfn_t gmfn; /* GMFN to query. */
domid_t domain; /* To which domain does the frame belong? */
/* OUT variables. */
/* Is the page PINNED to a type? */
#define DOM0_READCONSOLE 19
struct dom0_readconsole {
/* IN variables. */
- uint32_t clear; /* Non-zero -> clear after reading. */
+ uint32_t clear; /* Non-zero -> clear after reading. */
+ XEN_GUEST_HANDLE(char) buffer; /* Buffer start */
/* IN/OUT variables. */
- XEN_GUEST_HANDLE(char) buffer; /* In: Buffer start; Out: Used buffer start */
uint32_t count; /* In: Buffer size; Out: Used buffer size */
};
typedef struct dom0_readconsole dom0_readconsole_t;